There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

A growing number of linguistic attempts to explain how languages change use cultural-evolutionary models involving selection or drift. Developmental constraints and biases, which take center stage in evolutionary developmental biology or evo-devo, seem to be absent within this framework, even though linguistics is home to numerous notions of constraint. In this paper, we show how these evo-devo concepts could be applied to linguistic change and why they should. This requires some conceptual groundwork, due to important differences between linguistic and biotic (...) evolution. In biological evolution, development generates the organism's variable traits on which selection and drift act. In linguistic evolution by analogy, we say development generates the linguistic variants on which selection and drift can act. “Linguistic development” then picks out how individual speakers produce and comprehend language. It involves much more than just learning. Using this broad notion of development, we distinguish between different types of bias that could operate in the processes of linguistic innovation and transmission, which correspond to genetic mutation and biological reproduction, respectively. Having thus sharpened our conceptual toolbox, we then reanalyze two well-documented cases of linguistic change and show that, in both these cases, linguists have only considered Neo-Darwinian evolutionary explanations, falsely deploying an exclusive disjunction of selection and drift. We show that there is at least a third relevant alternative in these examples, namely developmental constraint or bias in the sense we explicate here. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...) justified beliefs. <br> Following Sutton, I will begin by outlining kinds of beliefs that do not constitute knowledge but that seem to be justified. I will then be in a position to critically evaluate Sutton’s arguments for his position that justification is knowledge, concluding that he fails to establish his bold thesis. In the course of so doing, I will defend the following rule of assertion: (The JBK-rule) One must: assert p only if one has justification to believe that one knows that p.<br>. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on differences (...) in ethical values that obtain across cultures. UNESCO's earlier work on gender mainstreaming illustrates the necessity of thinking from multiple perspectives in generating universal norms. The declaration asserts the ‘fundamental equality of all human beings in dignity and rights’1 and insists that ‘the highest attainable standard of health is one of the fundamental rights of every human being without distinction of race, religion, political belief, economic or social condition’2 yet it does not explicitly recognize disparities of power and wealth that deny equal dignity and rights to many. Without attention to structural (as opposed to merely accidental) inequities, UNESCO's invocation of rights is so abstract as to be incompatible with its avowed intention. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

The U.S. Supreme Court regards parental rights as fundamental. Such a status should subject any legal procedure that directly and substantively interferes with the exercise of parental rights to strict scrutiny. On the contrary, though, despite their status as fundamental constitutional rights, parental rights are routinely suspended or revoked as a result of procedures that fail to meet even minimal standards of procedural and substantive due process. This routine and cavalier deprivation of parental rights takes place in the context of (...) divorce where, during the pendency of litigation, one parent is routinely deprived of significant parental rights without any demonstration that a state interest exists—much less that there is a compelling state interest that cannot be achieved in any less restrictive way. In marked contrast to our current practice, treating parental rights as fundamental rights requires a presumption of joint legal and physical custody upon divorce and during the pendency of divorce litigation. The presumption may be overcome, but only by clear and convincing evidence that such an arrangement is harmful to the children. (shrink)

An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...) Therefore, no such justification is necessary. The feature of skepticism which I believe renders it vulnerable is the assumption that each of us has a right to be certain of his own existence as a subject of conscious experience even in the face of comprehensive doubt about our empirical beliefs. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

This paper’s outline is as follows. In sections 1-3 I give an exposi¬tion of the Mind-Body Problem, with emphasis on what I believe to be the heart of the problem, namely, the Percepts-Qualia Nonidentity and its incompatibility with the Physical Closure Paradigm. In 4 I present the “Qualia Inaction Postulate” underlying all non-interactionist theo¬ries that seek to resolve the above problem. Against this convenient postulate I propose in section 5 the “Bafflement Ar¬gument,” which is this paper's main thesis. Sections 6-11 (...) critically dis¬cuss attempts to dismiss the Bafflement Argument by the “Baf¬flement=Mis¬perception Equation.” Section 12 offers a refutation of all such attempts in the form of a concise “Asymmetry Proof.” Section 13 points out the bearing of the Bafflement Argument on the evolutionary role of consciousness while section 14 acknowledges the price that has to be paid for it in terms of basic physical principles. Section 15 summarizes the paper, pointing out the inescapability of interactionist dualism. (shrink)